majorizing set

[数] 优化集